- 双语例句 更多例句
由于一阶逻辑能够描述软件构件的计算语义,因此用一阶逻辑表示构件及用基于归结原理的自动定理证明技术检索构件的研究在软件工程领域得到了足够的重视。
互联网摘选
从计算语义学角度看俄语形容词的语义分类问题
互联网摘选
- 相关词组
- tree semantics[计]树状语义学;
- fault semantics[计]故障语义学;
- formal semantics形式语义学[程序];
- data semantics[计]数据语义学;
- query semantics[计]查询语义学;
- general semantics普通语义;
- world semantics[计] 世界语义学;
- dynamic semantics[计]动态语义学;
- verb semantics动词语义学;
- computational table计算表;
- computational method[计] 计算方法;
- final semantics[计]最终语义学;
- Computational Geometry计算几何;
- computational linguistics计算语言学;
- computational error计算误差;
- computational scheme计算线路,计算方案;
- trace semantics[计]轨迹语义学;
- computational model[计] 计算模型;
- logic semantics[计]逻辑语义学;
- body semantics体态语义学;手势语义学;
- 今日热词
- 热门搜索
- whatsapp 一款目前可供iPhone手机、Android手机、Windows Phone手机、Symbian手机和黑莓手机用户使用的、用于智能手机之间通讯的应用程序;
- calculator n.计算器;
- com abbr. 通用域名格式;commerce 商业;committee 委员会;comedy 喜剧;comunicaciones (Spanish=communications) (西班牙语)通信;
- himself pron.(反身代词)他自己;(用以加强语气)他亲自,他本人;
- widower n.鳏夫;
- note n.记录;笔记;便条;短笺;(尤指政府间的)公文;文件;注释;注解;批注;按语;正式文件;钞票;纸币;乐音;音;音符;音键;琴键;(鸟兽的)独特叫声;音调;语调;口气;特征;氛围;信号音;警示音;歌;调;曲调;vt.注意;记录;对…加注释;指出;留意; 指出,表明; 记下; 着重提到,强调; 为 (书等) 加注; 用音符记;
- witness n.目击者;见证人;v.出席;见证;
- desire n.愿望;渴望;肉欲;渴望的人/事;v.渴望;被某人吸引;产生性欲;
- inquiry n.调查,审查;询问,质问,质询,追究;探究;打听;
- oral adj.口头的,口述的;口服的;属于或关于嘴的;构成或使用言语的;n.(尤指外语考试中的)口试;
- compass n.罗盘,指南针;圆规;界限;
- so-so adj.一般的;普通的;中等的;不好也不差的;
